\begin{relacion}{Area}{\clave{nro\_area}, nombre, \claveforanea{nro\_emp\_dirige}, \claveforanea{cod\_ns}, dirigido\_desde}{
	\item \pk \ck \set{ nro\_area }
	\item \fk \set{ nro\_emp\_dirige, cod\_ns}
}
	\item EmpleadoJerarquico.nro\_emp puede no estar en Area.nro\_emp\_dirige
	\item Area.nro\_emp\_dirige debe estar en EmpleadoJerarquico.nro\_emp
\end{relacion}
	
\begin{relacion} {Empleado}{\clave{nro\_emp}, nombre, apellido, tipo\_emp}{
	\item \pk \ck \set{ nro\_emp }
}
	\item Empleado.nro\_emp puede estar en (exclusivo)
    \subitem EmpleadoJerarquico.nro\_emp ó
    \subitem EmpleadoProfesional.nro\_emp ó
    \subitem EmpleadoNoProfesional.nro\_emp
\end{relacion}

\begin{relacion}{EmpleadoJerarquico}{\claveyforanea{nro\_emp}}{
	\item \pk \ck \fk \set{ nro\_emp }
}
	\item EmpleadoJerarquico.nro\_emp debe estar en Empleado.nro\_emp
\end{relacion}

\begin{relacion}{EmpleadoProfesional}{\claveyforanea{nro\_emp}, \claveforanea{cod\_esp}, tipo\_prof}{
	\item \pk \ck \set{ nro\_emp }
	\item \fk \set{ nro\_emp, cod\_esp }
}
	\item EmpleadoProfesional.nro\_emp debe estar en Empleado.nro\_emp
	\item EmpleadoProfesional.nro\_emp puede estar en (exclusivo):
    \subitem EmpleadoProfesionalContratado.nro\_emp ó
    \subitem EmpleadoProfesionalPlantaPermanente.nro\_emp
\end{relacion}

\begin{relacion}{EmpleadoProfesionalContratado}{\claveyforanea{nro\_emp}}{
	\item \pk \ck \fk \set{ nro\_emp }
}
	\item EmpleadoProfesionalContratado.nro\_emp debe estar en EmpleadoProfesional.nro\_emp
\end{relacion}

\begin{relacion}{Contratado\_Para}{\clave{nro\_contr}, \claveforanea{nro\_emp}, \claveforanea{nro\_area}, desde, hasta, tarea}{
	\item \pk \ck \set{ nro\_contr, (nro\_emp, nro\_area, desde) }
	\item \fk \set{ nro\_emp, nro\_area }
}
	\item EmpleadoProfesionalContratado.nro\_emp puede no estar en Contratado\_para.nro\_emp
	\item Contratado\_para.nro\_emp debe estar en EmpleadoProfesionalContratado.nro\_emp
	\item Area.nro\_area puede no estar en Contratado\_para.nro\_area
	\item Contratado\_para.nro\_area debe estar en Area.nro\_area

\end{relacion}

\begin{relacion}{EmpleadoProfesionalPlantaPermanente}{\claveyforanea{nro\_emp, nro\_area}}{
	\item \pk \ck \set{ (nro\_emp, nro\_area) } 
	\item \fk \set{ nro\_emp, nro\_area }
}
	\item EmpleadoProfesionalPlantaPermanente.nro\_emp debe estar en EmpleadoProfesional.nro\_emp
	\item Area.nro\_area puede no estar en EmpleadoProfesionalPlantaPermanente.nro\_area
	\item EmpleadoProfesionalPlantaPermanente.nro\_area debe estar en Area.nro\_area
\end{relacion}

\begin{relacion}{EmpleadoNoProfesional}{\claveyforanea{nro\_emp}, \claveforanea{cod\_ns}}{
	\item \pk \ck \set{ nro\_emp }
	\item \fk \set{ nro\_emp, cod\_ns }
}
	\item EmpleadoNoProfesional.nro\_emp debe estar en Empleado.nro\_emp
	\item NivelDeSeguridad.cod\_ns puede no estar en EmpleadoNoProfesional.nro\_area
	\item EmpleadoNoProfesional.cod\_ns debe estar en NivelDeSeguridad.cod\_ns
\end{relacion}

\begin{relacion}{Autorizado\_Para}{\clave{\claveforanea{nro\_emp}, \claveforanea{nro\_area}}, \claveforanea{cod\_fh}}{
	\item \pk \ck \set{ (nro\_emp, nro\_area) }
	\item \fk \set{ nro\_emp, nro\_area, cod\_fh }
}
	\item Autorizado\_Para.nro\_emp debe estar en EmpleadoNoProfesional.nro\_emp
	\item Autorizado\_Para.nro\_area debe estar en Area.nro\_area
	\item Autorizado\_Para.cod\_fh debe estar en FranjaHoraria.cod\_fh
	\item EmpleadoNoProfesional.nro\_emp puede no estar en Autorizado\_Para.nro\_emp
	\item Area.nro\_area puede no estar en Autorizado\_para.nro\_area
	\item FranjaHoraria.cod\_fs puede no estar en Autorizado\_para.cod\_fh
\end{relacion}

\begin{relacionsinrestriccion}{FranjaHoraria}{\clave{cod\_fh}, hora\_inicio, hora\_fin}
	\item \pk \set{ cod\_fh }
	\item \ck \set{ cod\_fh, (hora\_inicio, hora\_fin) } 
    
\end{relacionsinrestriccion}

\begin{relacionsinrestriccion}{NivelDeSeguridad}{\clave{cod\_ns}, nombre, acceso\_restringido, nivel}
	\item \pk \set{ cod\_ns }
	\item \ck \set{ cod\_ns, nombre } 
\end{relacionsinrestriccion}

\begin{relacion}{Accedio\_A}{\clave{nro\_emp, nro\_area, fecha\_y\_hora}, tipo\_acceso, autorizado}{
	\item \pk \ck \set{ (nro\_emp, nro\_area, fecha\_y\_hora) }
    \item \fk \set{ nro\_emp, nro\_area }
}
	\item Empleado.nro\_emp puede no estar en Accedio\_A.nro\_emp
	\item Accedio\_A.nro\_emp debe estar en Empleado.nro\_emp
	\item Area.nro\_area puede no estar en Accedio\_A.nro\_area
	\item Accedio\_A.nro\_area debe estar en Area.nro\_area
\end{relacion}

\begin{relacion}{Evento}{\clave{\claveforanea{nro\_area}, fecha\_y\_hora}, descripcion}{
	\item \pk \ck \set{ (nro\_area, fecha\_y\_hora) }
	\item \fk \set{ nro\_area }
}
	\item Area.nro\_area puede no estar en Evento.nro\_area
	\item Evento.nro\_area debe estar en Area.nro\_area
\end{relacion}

\begin{relacion}{Auditoria}{\claveyforanea{nro\_contr, fecha\_y\_hora}, resultado}{
	\item \pk \ck \set{ (nro\_contr, fecha\_y\_hora) } 
}
	\item (Contratado\_Para.nro\_emp, Contratado\_Para.nro\_area) puede no estar en (Auditoria.nro\_emp, Auditoria.nro\_emp)
	\item (Auditoria.nro\_emp, Auditoria.nro\_emp) debe estar en (Contratado\_Para.nro\_emp, Contratado\_Para.nro\_area)
\end{relacion}

\begin{relacion}{Especialidad}{\clave{cod\_esp}, nombre}{
	\item \pk \set{ cod\_esp }
	\item \ck \set{ cod\_esp, nombre }
}
    \item Especialdad.cod\_esp puede no estar en EmpleadoProfesional.cod\_esp
    \item EmpleadoProfesional.cod\_esp debe estar en Especialdad.cod\_esp
\end{relacion}



